basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

Applications of factor-criteria system reconstruction analysis in the reproduction research on grass carp, black carp, silver carp and bighead in the Yangtze River

The natural reproduction of grass carp, black carp, silver carp, and bighead will be affected adversely by the Three Gorges Project in the Yangtze River. One of the methods to save the fish is to regulate the water levels, keeping them suited for the species to spawn. Nine factors associated with the scale of larvae-flood of the four species are classified into five levels, and the ranges of these factors producing larvae-floods are given by using the "factor-criteria system reconstruction analysis" method. Moderate beginning water levels and flow, with high daily increases in the rate of water level and flow, and a long duration of water level rising are important for the production of a large larvae-flood.

The computer simulation of primate (Macaca mulatta) spatial visual delayed response and cerebral prefrontal control function

Cerebral prefrontal function is one of the important aspects in neurobiology. Based on the experimental results of neuroanatomy, neurophysiology, behavioral sciences, and the principles of cybernetics and information theory after constructed a simple model simulating prefrontal control function, this paper simulated the behavior of Macaca mulatta completing delayed tasks both before and after its cerebral prefrontal cortex being damaged. The results indicated that there is an obvious difference in the capacity of completing delayed response tasks for the normal monkeys and those of prefrontal cortex cut away. The results are agreement with experiments. The authors suggest that the factors of affecting complete delayed response tasks might be in information keeping and extracting of memory including information storing, keeping and extracting procedures rather than in information storing process.

Additions and corrections to ���Terminal coalgebras in well-founded set theory���

This note is to correct certain mistaken impressions of the author's that were in the original paper, ���Terminal coalgebras in well-founded set theory���, which appeared in Theoretical Computer Science 114 (1993) 299���315.